Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
521	1D Array Processing (F book, chapter 7) Arrays, a group of variables ordered by an index, are one of the most powerful and popular features of Fortran95. real, dimension(10) :: f, g Add to Reading List Source URL: exodus.physics.ucla.edu Language: English - Date: 2002-04-10 20:10:18 Procedural programming languages Linear algebra Vectors Data types Source code Array data structure Array data type Fortran C Computing Computer programming Software engineering
522	UNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences Computer Science Division Programming Contest Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 1998-10-06 21:52:23 Mathematics Data types Primitive types Digital typography Procedural programming languages Floating point TeX Snark Whitespace Graph theory Computing Computer arithmetic
523	X10 Language Specification Version 2.4 Vijay Saraswat, Bard Bloom, Igor Peshansky, Olivier Tardieu, and David Grove Add to Reading List Source URL: x10.sourceforge.net Language: English - Date: 2014-02-12 17:59:12 Cross-platform software Procedural programming languages Data types C++ X10 C++ classes C Array data type Literal Software engineering Computing Computer programming
524	Value Range Analysis of Conditionally Updated Variables and Pointers∗ Johnnie Birch Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2004-07-12 14:12:16 Procedural programming languages Compiler optimizations Data types Compiler construction Pointer Induction variable Array data type C Automatic parallelization Software engineering Computing Programming language theory
525	Generic Programming with Dependent Types Thorsten Altenkirch, Conor McBride and Peter Morris School of Computer Science and Information Technology Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-03-27 06:01:59 Type theory Functional languages Procedural programming languages Epigram Logic in computer science Formal methods Generic programming Proj construction Type system Software engineering Programming language theory Computing
526	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Type theory Mathematical logic Dependently typed programming Data types Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
527	Closures in Java Java and all Java-based marks are trademarks or registered trademarks of Sun Microsystems, Inc. in the U.S. and Add to Reading List Source URL: www.jugpadova.it Language: English - Date: 2008-09-27 05:41:48 Subroutines Cross-platform software Data types Scripting languages Functional languages Closure Groovy Foreach loop Anonymous function Computing Software engineering Computer programming
528	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-09-13 12:40:18 Type theory Data types Mathematical logic Dependently typed programming Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
529	The Scala Language Specification Version 2.8 Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2013-12-03 20:01:36 Type theory Data types Functional programming Functional languages Java platform Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
530	Back to the future: the story of Squeak, a practical Smalltalk written in itself Dan Ingalls, Ted Kaehler, John Maloney, Scott Wallace, and Alan Add to Reading List Source URL: www.vpri.org Language: English - Date: 2008-12-10 01:30:33 Data types Primitive types Cross-platform software Visual programming languages Smalltalk Daniel Henry Holmes Ingalls Jr. Squeak Actor Garbage collection Software engineering Computing Computer programming

UPDATE